Préserver l'intégrité d'une base de données déductive: une méthode et son implementation

Rfesuml Si une base de donnfees est astreinte ä satisfaire des contraintes d'intfegritfe, cette proprifetfe doit fetre vferififee ä chaque modification de faits ou de rfegles de dfeduction. Des mfethodes de maintien de rintfegritfe ont fetfe proposfees, qui simplifient Evaluation des contraintes d'intfegritfe dans une base de donnfees mise ä jour. Ces mfethodes tirent partie de rintfegritfe de la base de donnfees initiale. Cet article dfecrit les principes et rimplfementation d'une teile mfethode. Une approche nouvelle est proposfee, consistant ä s'appuyer autant que possible sur l'fevaluateur de requites du SGBD. Cette approche fetend d'autres propositions en considferant des transactions de mise ä jour gfenferales et des rfegles de dfeduction rfecursives. Elle permet une implementation trfes simple, reposant sur Prolog et sur une technique de "programmation par mfeta-rfegles". Cette technique consists ä utiliser le langage de rfegles de dfeduction comme langage de programmation.